A linear inverse method to reconstruct paleo-topography
نویسندگان
چکیده
منابع مشابه
A Scale Invariant Bayesian Method to Solve Linear Inverse Problems
In this paper we propose a new Bayesian estimation method to solve linear inverse problems in signal and image restoration and reconstruction problems which has the property to be scale invariant. In general, Bayesian estimators are nonlinear functions of the observed data. The only exception is the Gaussian case. When dealing with linear inverse problems the linearity is sometimes a too strong...
متن کاملThe Formation History of Olympus Mons from Paleo-topography
Introduction: The Olympus Mons shield volcano on the northwestern edge of Mars’ Tharsis rise is the largest volcano in the solar system. Its volcanic history is intimately tied with the volcanic and geodynamic history of Tharsis and of Mars as a whole. Previous studies used crater counting to estimate the age of the flanks of Olympus, with typical values of ~200 Myr [1]. However, establishing t...
متن کاملFocusing the Inverse Method for Linear Logic
Focusing is traditionally seen as a means of reducing inessential nondeterminism in backward-reasoning strategies such as uniform proof-search or tableaux systems. In this paper we construct a form of focused derivations for propositional linear logic that is appropriate for forward reasoning in the inverse method. We show that the focused inverse method conservatively generalizes the classical...
متن کاملThe Focused Inverse Method for Linear Logic
Linear logic presents a unified framework for describing and reasoning about stateful systems. Because of its view of hypotheses as resources, it supports such phenomena as concurrency, external and internal choice, and state transitions that are common in such domains as protocol verification, concurrent computation, process calculi and games. It accomplishes this unifying view by providing lo...
متن کاملQuartet-net: a quartet-based method to reconstruct phylogenetic networks.
Phylogenetic networks can model reticulate evolutionary events such as hybridization, recombination, and horizontal gene transfer. However, reconstructing such networks is not trivial. Popular character-based methods are computationally inefficient, whereas distance-based methods cannot guarantee reconstruction accuracy because pairwise genetic distances only reflect partial information about a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Geomorphology
سال: 2019
ISSN: 0169-555X
DOI: 10.1016/j.geomorph.2019.03.034